#include <stdint.h>
#include "stm32_common.h"
//#include "forco_os.h"
extern unsigned int _sidata,_sdata,_edata,__bss_start__,__bss_end__; 
extern int main(void);

uint8_t ledcount = 0;
//extern CPU_UINT32 OSTickCtr;
//CPU_UINT32  Xcount=0;


void Reset_Handler(void){
    stm32_copydata(&_sidata,&_sdata,&_edata);
    stm32_bssinit(&__bss_start__,&__bss_end__);
    SystemInit();
    main();
}


void UsageFault_Handler(void){

}

void NMI_Handler(void){

}


void HardFault_Handler(void){
 //__asm("bx lr");
 while(1)
 {
 // Forco_Bspdelay_ms(200);
 // Forco_BspLEDToggle(LED3); 
 }
}

void MemManage_Handler(void){

}

void BusFault_Handler(void){

}

void SVC_Handler(void){

}

void DebugMon_Handler(void){

}

/*
void PendSV_Handler(void){
}
*/

//系统滴答时钟
void SysTick_Handler(void){
/*
  CPU_SR_ALLOC();
  CPU_INT_DIS();
  //更新时间基表
  OS_TickListUpdate();
  //进行一次任务调度
  OSSched();
  CPU_INT_EN();
*/
}



